elements in S3 satisfying equation